Merge branch 'misc-cleanups' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 5 May 2020 21:02:25 +0000 (21:02 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 5 May 2020 21:02:25 +0000 (21:02 +0000)
Misc cleanups

See merge request GNOME/gtk!1832


Trivial merge